Multi-Language Refactoring with Dimensions of Semantics-Preservation
نویسنده
چکیده
Today, software developers utilize different general-purpose (GPL) and domain-specific languages (DSL) to implement multi-language software applications (MLSA). MLSAs, thus, contain artifacts of different GPLs and DSLs, e.g., sourcecode files and configurations. In a recent study we found that refactoring an artifact can break artifact interaction and that interaction cannot be re-established by additional refactorings. In this paper we propose an approach that supports developers in understanding and adapting changes to artifact interaction due to refactoring.
منابع مشابه
Formal Refactoring for UML Class Diagrams
Refactoring UML models for evolution is usually carried out in an ad hoc way. These transformations can become an issue, since it is hard to ensure that the semantics of models is preserved. We provide a set of semantics-preserving transformations for UML class diagrams annotaded with OCL. Using the proposed transformations, software designers can safely define larger transformations and detect...
متن کاملA Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules
Refactoring is a powerful technique to improve the quality of software models including implementation code. The software developer applies successively so-called refactoring rules on the current software model and transforms it into a new model. Ideally, the application of a refactoring rule preserves the semantics of the model, on which it is applied. In this paper, we present a simple criter...
متن کاملVerhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Refactoring is a technique for restructuring program code to improve its quality. This work adapts refactoring to the layer of design models of reactive systems by using a formal notion of behavior equivalence. Therefore the modeling language AutoFocus is exemplary used. We define a notion of equivalence of interface behavior under time abstraction. The suitability of time synchronous and time ...
متن کاملRefactoring affordances in corporate wikis: a case for the use of mind maps
The organization of corporate wikis tends to deteriorate as time goes by. Rearranging categories, structuring articles and even moving sections among articles are cumbersome tasks in current wiki engines. This discourages the layman. But, it is the layman who writes the articles, knows the wiki content, and detects refactoring opportunities. Our goal is to improve the refactoring a ordances of ...
متن کاملImproving multi-objective code-smells correction using development history
One of the widely used techniques to improve the quality of software systems is refactoring. Software refactoring improves the internal structure of the system while preserving its external behavior. These two concerns drive the existing approaches to refactoring automation. However, recent studies demonstrated that these concerns are not enough to produce correct and consistent refactoring sol...
متن کامل